(5.2.3.1-1) Exploration before starting the KJ method